Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
81	Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:01 Model theory Metalogic Deduction First-order logic Predicate logic Euclidean algorithm Symbol Interpretation Function Logic Mathematics Mathematical logic
82	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 Laboratoire Sp´ecification et V´erification Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-06-19 05:17:04
83	Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f Add to Reading List Source URL: abarry.org Language: English - Date: 2012-02-11 02:59:02 Operations research Mathematical optimization Dynamical systems Control theory Cybernetics Linear programming Interior point method Convex optimization Vector space Mathematics Algebra Mathematical analysis
84	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
85	A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401 Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Applied mathematics Computer science Model checkers Formal methods Logic in computer science Formal verification Model checking State transition system Uppaal Model Checker Models of computation Theoretical computer science Automata theory
86	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-08 10:04:52 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
87	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
88	Corrections to the 2006 book “Modeling, Specification, and Verification using UML Statecharts” Discovered by: Prof. Tom Otani, of NPS Dr. Vahid Reza Ramezani, of UMD Add to Reading List Source URL: www.time-rover.com Language: English - Date: 2011-02-28 22:54:29 Graphic design Automata theory Theoretical computer science Typography Communication design State diagram Paragraph UML state machine Section sign Models of computation Writing UML diagrams
89	GEOPHYSICS, VOL. 64, NO. 3 (MAY-JUNE 1999); P. 888–901, 11 FIGS., 1 TABLE. Seismic waveform inversion in the frequency domain, Part 1: Theory and verification in a physical scale model R. Gerhard Pratt∗ Add to Reading List Source URL: geol.queensu.ca Language: English - Date: 2003-09-26 15:20:26 Geophysical imaging Signal processing Fourier analysis Seismology Seismic tomography Inverse problem Deconvolution Inverse Frequency spectrum Mathematical analysis Physics Mathematics
90	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming

UPDATE